Перевод: со всех языков на русский

с русского на все языки

исчисление отношений

См. также в других словарях:

  • ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие… …   Большой Энциклопедический словарь

  • Исчисление кортежей — Исчисление кортежей  направление реляционного исчисления, где областями определения переменных являются тела отношений базы данных, то есть допустимым значением каждой переменной является кортеж тела некоторого отношения. Содержание 1… …   Википедия

  • Исчисление понятий —         «ИСЧИСЛЕНИЕ ПОНЯТИЙ» («Запись в понятиях») сочинение немецкого математика и логика Готтлоба Фреге, положившее начало современной форме математической (символической) логики. Полное название этого сочинения включало указание на то, что в… …   Энциклопедия эпистемологии и философии науки

  • Исчисление сроков, с которыми трудовой кодекс Российской Федерации связывает возникновение и прекращение трудовых прав и обязанностей — течение сроков, с которыми ТК России связывает возникновение трудовых прав и обязанностей, начинается с календарной даты, которой определено начало возникновения указанных прав и обязанностей. Течение сроков, с которыми ТК России связывает… …   Энциклопедический словарь-справочник руководителя предприятия

  • исчисление предикатов — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений «все» и «некоторые» (кванторы), позволяющие …   Энциклопедический словарь

  • ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел матем. логики, логич. исчисление, в алфавит знаков к рого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие количественно… …   Естествознание. Энциклопедический словарь

  • Дифференциальное исчисление — Исчисление бесконечно малых, включающее так называемое Д. исчисление, а также ему обратное интегральное, принадлежит к числу наиболее плодотворных открытий человеческого ума и составило эпоху в истории точных наук. Ближайшим поводом к изобретению …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …   Философская энциклопедия

  • Формальное исчисление — Формальная (аксиоматическая) теория, формальное исчисление это понятие, разработанное в рамках формальной логики в качестве основы для формализации теории доказательства. Формальная теория разновидность дедуктивной теории, где множество теорем… …   Википедия

  • БЕСКОНЕЧНО МАЛЫХ ИСЧИСЛЕНИЕ — термин, ранее объединявший различные разделы математич. анализа, связанные с понятием бесконечно малой функции. Хотя метод бесконечно малых (в той или иной форме) с успехом применялся учеными Древней Греции и средневековой Европы для решения… …   Математическая энциклопедия

  • Калькулирование — исчисление себестоимости конкретных видов продукции (работ, услуг), а также единицы продукции (работ, услуг) по видам расходов (или по экономическим элементам) Калькулирование ведется в целях: определения основы цен продукции и доходности ее… …   Краткий словарь основных лесоводственно-экономических терминов

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»